Rationale for the development of the UK defence standards forsafety-critical computer software

Changes in the procurement environment and developments in technology that will require the adoption of new development certification procedures within the next few years are examined. Characteristics of safety-critical computer systems and the safety problems posed by digital computers are described. The way in which the changes have influenced the preparation of the new draft defence standards offered for public debate in the UK prior to their formal adoption by the Ministry of Defence is discussed. Principle features of the future safety-critical systems policy are outlined. The use of Ada for safety-critical software is considered     

Dose equivalent, absorbed dose and charge spectrum investigation in low Earth orbit.

Particle intensity, dose equivalent and absorbed dose have been measured on board the space shuttle Endeavour during STS-108 in December 2001 by Dublin Institute for Advanced Studies (DIAS). The dose estimates are based on very accurate measurements of recoils produced in CR-39 by cosmic ray primary and secondary protons and heavier nuclei and by secondary neutrons. The corresponding LET spectra were used to determine dose equivalent and absorbed dose values. Estimates of the total flux of Z > or = 2 nuclei have been undertaken and a preliminary charge spectrum was measured. Some comparisons are made with preliminary data obtained on STS-105 (ISS Expedition) and other missions using CR-39 detectors.     

Relativistic MHD Simulations of Jets with Toroidal Magnetic Fields

This paper presents an application of the recent relativistic HLLC approximate Riemann solver by Mignone & Bodo to magnetized flows with vanishing normal component of the magnetic field. The numerical scheme is validated in two dimensions by investigating the propagation of axisymmetric jets with toroidal magnetic fields. The selected jet models show that the HLLC solver yields sharper resolution of contact and shear waves and better convergence properties over the traditional HLL approach.     

Molecular alterations in tumorigenic human bronchial and breast epithelial cells induced by high LET radiation.

Carcinogenesis is a multi-stage process with sequence of genetic events governing the phenotypic expression of a series of transformation steps leading to the development of metastatic cancer. In the present study, immortalized human bronchial (BEP2D) and breast (MCF-10F) cells were irradiated with graded doses of either 150 keV/micrometer alpha particles or 1 GeV/nucleon 56Fe ions. Transformed cells developed through a series of successive steps before becoming tumorigenic in nude mice. Cell fusion studies indicated that radiation-induced tumorigenic phenotype in BEP2D cells could be completely suppressed by fusion with non-tumorigenic BEP2D cells. The differential expressions of known genes between tumorigenic bronchial and breast cells induced by alpha particles and their respective control cultures were compared using cDNA expression array. Among the 11 genes identified to be differentially expressed in BEP2D cells, three (DCC, DNA-PK and p21(CIP1)) were shown to be consistently down-regulated by 2 to 4 fold in all the 5 tumor cell lines examined. In contrast, their expressions in the fusion cell lines were comparable to control BEP2D cells. Similarly, expression levels of a series of genes were found to be altered in a step-wise manner among tumorigenic MCF-10F cells. The results are highly suggestive that functional alterations of these genes may be causally related to the carcinogenic process.     

Scanning, Tracking, and Mapping State Variable Estimation Algorithms

Recursive state equation estimation algorithms are derived to determine optimal estimation error covariance and state estimate for a linear dynamic system, driven by time-varying and positionverying (or angle-varying) functions whose a priori covariance are described. Retracing the same trajectory with the system measuring device causes the position varying function to repeat and can significantly reduce estimation errors. Applications for these algorithms include improving accuracy of a position dependent quantity to be mapped, or recursively processing radar or sonar data from repeating scans over the same area. Three types of return path patterns are considered: 1) multiple independent returns, 2) reverse returns, and 3) cyclical returns.     

Protection by WR-2721 and WR-151327 against late effects of gamma rays and neutrons.

Two thiophosphoroate compounds WR-2721 and WR-151327 were assessed for their ability to modify the deleterious effects (life shortening and carcinogenesis) of fission-spectrum neutrons (kerma-weighted mean energy of 0.85 MeV) or gamma rays on B6CF1 hybrid mice. Male and female mice, 200 of each sex per experimental group, were irradiated individually at 110 days of age. Radioprotectors (400 mg/kg of WR-2721 or 580 mg/kg of WR-151327) were administered intraperitoneally 30 min prior to irradiation. Neutron doses were 10 cGy or 40 cGy and gamma ray doses were 206 cGy or 417 cGy. Animals were housed five to a cage; cage locations in the holding rooms were randomized by computer. Animals were checked daily and all deceased animals were necropsied. WR-2721 afforded protection against both neutron- and gamma-ray-induced carcinogenesis and subsequent life shortening. Cumulative survival curves for unirradiated mice of either sex were unaffectecd by protectors. WR-2721 protected irradiated groups against life shortening by approximately 10 cGy of neutrons or 100 cGy of gamma rays. WR-151327 was as effective as WR-2721 against neutron irradiation.     

Robust Kalman filter design for predictive wind shear detection

Severe low-altitude wind shear is a threat to aviation safety. Newly developed airborne sensors measure the radial component of wind along a line directly in front of an aircraft. The authors use optimal estimation theory to define a detection algorithm to warn of hazardous wind shear from these sensors. To achieve robustness, a wind shear detection algorithm must distinguish threatening wind shear from less hazardous gustiness, despite variations in wind shear structure. Statistical analysis methods to refine wind shear detection algorithm robustness are presented. Computational methods predict the ability to warn of severe wind shear and avoid false warning. Comparative capability of the detection algorithm as a function of its design parameters is determined, identifying designs that provide robust detection of severe wind shear     

A study on thin walled intersecting spheres

Intersecting spheres are useful in the design of pressure vessels for weight limited situations as in the case of space or ocean applications. This paper treats the general problem of N intersecting spheres demonstrating that mass reduction can be achieved in relation to the single sphere that encloses the same internal volume. It is shown that this reduction approaches asymptotically the value of 39.5%.     

Carrier-wave interference to Loran-C: a statistical evaluation

Loran-C is a pulsed, hyperbolic radio aid for long-range marine, air, and land navigation. The worldwide expansion of Loran-C, especially in Europe, has focused attention on carrier-wave interference to the system. The effects of a multiplicity of carrier-wave interferers (CWIs) on receiver timing measurement accuracy are considered. Both the phase tracking and the cycle-selection performance of receivers are quantified in terms of the probabilities that they will operate correctly within the arbitrarily set error limits. Characteristic functions (CFs) are used to compute these probabilities. Analyses and results are presented for typical situations. The relative sensitivity of the phase tracking and cycle-selection functions to interfering signals are discussed